Make it so that the TCL extension installed using "make install" has the
same name as the one installed by "make tclextension-install". (tags: make-install-fixes)
↧