Remove dummy argument of ocamlbind tactic.