put in (temporary) code to convert from ps/eps to pdf