if the jenkins mirror is fubar just ignore it unless we really needed the file