let update_extension ext x =
  add_extension ext (chop_extension x)