Switch repo to Ubuntu 12.04