[Patch #444854 from twburton]
    Add executable extension, needed to get the program name right on Win32
1 file changed