A shell script to cross-compiling mach kernel and installing GNU/Hurd