Windows automatically adds ".exe", but explicitly adding that extension kills the deal for Linux