Update to phpunit 4.2.*