phpunit 3.8 breaks compatibility with PHP 5.3