use forked PHPSpec Code Coverage Extension to fix the build