let scm_source_file_opt       = ref None