gtk+hs and libgmp