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