We don't need that file anymore...