function correctBinname()

in src/extension.ts [123:128]


function correctBinname(binname: string) {
	if (process.platform === 'win32')
		return binname + '.exe';
	else
		return binname;
}