Upgrade PHPUnit to 4.1.0