abcm2ps 8.11.6 -> 8.11.7