fix docker installation