Use phpunit 3.7 for PHP 5.3 compatibility