Andrei: delete aux files