Do not guess coverage file location. Use coverlay-load-file explicitly.