addCoverageTicksToBinds: tolerate a non-existent .hs file (#3803)