Switch to 14.04 (instead of 14.04.1)