let configuration_file = ref "parameters.ml"