Update to ubuntu 12.04.2