Changed machine to Ubuntu 12.04