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