in src/extension.ts [123:128]
function correctBinname(binname: string) { if (process.platform === 'win32') return binname + '.exe'; else return binname; }