Win32: let mingw_execve() return an int