Upgrade PHPUnit to 4.1.2

And also fixes https://github.com/Homebrew/homebrew-php/issues/1174