Fix Ubuntu installation for 14.04