fix ghcmod bindings