Getting rid of Docker for now.