Для исправления ошибок скачивать компилятор и перекомпилировать PDF не нужно, так как работает CI.