ps2pdf currently generates PDF/1.4, so we’ll standardise on that