abcm2ps 8.12.1 -> 8.12.2