upgraded to ubuntu 12.04 and newer versions of other tools