gecode is too new on ubuntu 14.04, so go back to the (slow) gem compile