Fix docker install.