tariffed docker back to 12.04 until docker issues in latest get handled with ssh