Make ubuntu 14.04 use docker repo