deleted a .aux file