pgm2ps should be executable