Quick fixings in docker_init.sh