Workaround to the fact that Jenkins doesn't publish .pdfs