let add_extension_if_absent filename ext = try let _ = (Filename.chop_extension filename) in filename (* because the filename already has an extension *) with _ -> (filename^"."^ext)