Set Ubuntu 12.04 as default OS on master branch