instrument.php: [ERROR] LOCAL_PHPCOVERAGE_LOCATION [] not found.