Adapt docker to 4.0