Win32 is the stable ABI for Linux, too.