Fix ampl tests.