Make runs without -E actually (try to) convert phase4 output to real tokens.