Renaming 'aux' -> 'eclipse_aux' to keep Windows happy.