Explicitly set ubuntu 12.04