Use CBC version instead of "trunk" in AMPL driver