Added DUMP_FILE-pragma.