Speed up our extension to pretty printer until https://github.com/nikic/PHP-Parser/pull/65 is accepted