use phpunit 3.7.* to be compatible to PHP 5.3