changed to ubuntu 12.04