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