Fix docker for ubuntu precise mini