fix initialization in --with-docker option