only expect a single aux file