Removed auxiliary files again.