Don't need .aux files