--- # defaults file for install_docker