fixe pygimli compilation problem