Switch to phpunit v4.2