Support for -pp and -ppx in dumpast.