Switched coverage path to use full PHP version.