Add tools/sethost.sh. This is a script that you can use to quickly change...

Add tools/sethost.sh.   This is a script that you can use to quickly change the host platform from Linux to Windows/Cygwin.  Might save you a lot of headaches.