Use Ubuntu server 14.04 instead of ArchLinux due to Vagrant eth* networking issue (https://github.com/mitchellh/vagrant/issues/4288)