Fix docker-gen location