removed auxiliary file