deleted .aux'es