see: https://github.com/sebastianbergmann/phpunit/commit/859055636253c961a1dff279cc5bdb1d55d4c016