Try to get code coverage for the PHP spec tests.