update phpunit to 4.2