the aux file is only printed to if it was defined