Fixed build of verific bindings