Upgrade PHPUnit version to 4.1