added gmp vala bindings