ERROR: Could not locate PHPCOVERAGE_HOME [/common/spikephpcoverage/src/]. Use 'php <filename> PHPCOVERAGE_HOME=/path/to/coverage/home'