These instructions will help you install all the os161 packages on a Linux
machine. Edit the INSTALLDIR variable in install.sh if desired. 

Then run the install.sh script from the command line, and hope for the best!

If you have problems with the compilation, try installing gcc-3.4. On
debian/Ubuntu, this may be done using "sudo apt-get install gcc-3.4". If this
package is not available, the script install-gcc34.sh tries to get the packages
and install them. Then, update the CC variable in install.sh to gcc-3.4

