Avoid duplicating suffix.

Windows gets very upset if we try to open the same file twice,
and '.rmf' is in the default list of suffixes.