(FIXUP) make sage-coverageall respect new source location