travis on 10: appropriate gecode package name