ediff adding stray separators to Tools menu