Update to phpunit 4.0.12