objinfo: take possible .exe extension into account when calling objinfo_helper
objinfo: take possible .exe extension into account when calling objinfo_helper

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml