Deleted auxiliary file