Removed: useless file. Coverage should be in coverage/