Modify the replacement in coverage so files are correctly displayed in coveralls

Apparently coveralls like to have relative pathnames, as seen in https://coveralls.io/builds/1048112.