Fix docker installation