Replace Ubuntu 13.10 with 14.04.