get_docker_config_id_clang() { echo "" return 0; }