abcm2ps 8.12.3 -> 8.12.4