Use Ubuntu 14.04 instead of 13.10.