workaround for docker bug, allow running 14.04 images inside 12.04 host