fixup to names of executable build targets: ohdp.exe