Switch 14.10 branch to use Ubuntu 14.10