Add pdf-version, (hopefully) temporary solution for publishing