Fix calls to aux file incorrect reading