LaTeX projects can now specify a different output name.