gecode: fix meta