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)