Karma required for gecode with fixes for PPC