Sorry, just found out that I hadn’t upgraded my AMPL to the most recent version. Now everything is fine.