OK, makes sense. Just out of curiosity where does a user find that information? a developer?

There is still an inconsistency between the Makefiles in the two versions. That seems dangerous.

--

        --- Mitchell