Re: gnu ports

The new name, without_prefix, isn't entirely accurate.

I beg to differ.

Would you mind reverting your variant name change and we can discuss a better name.

r22390. Regards, Elias Pipping