back to phpunit 3.7.*