Fix Bug 1888: Update Docker file to 20.04