back to ubuntu 12.04 LTS because 13.04 is EOL and extra packages have disappeared from some of the apt repositories