fix broken coverage with phpunit 4.x