let chop_extension  path =
    let (real_path, real_ext) = split_extension path
    in
    real_path