Minor changes
Final refinements to symbol control system

I no better info are available it is assume to use the GNU linker.
Also, a flag to to completely disable symbol control has beeb added
(OFF by default).