Change AMPL to support ST3