ugly travis hack for older PHPUnit Versions