Turn off PHPUnit's strict mode and five @covers annotations