Fail gracefully when coverage is missing a filename