Change some filename-handling code to use mp_basename()