fix php53-phpunit