Now using PHPUnit 4 to run the tests.