let update_extensions ext x =
  add_extension ext (chop_extensions x)