Bump to ubuntu 12