On Windows, executable is WIN32