Hi Khen1950fx, marto and AM, I've been working on some other stuff the last couple of days, but I'd like now to proceed with that installation. So, should I do it in the following way:
Uninstall Wx
Uninstall Alien::wxWidgets
Reinstall manually (after extraction) Alien::wxWidgets --wxWidgets-version=2.9.4 (v 0.64)
Reinstall Wx (v 0.9922)
or should I just reinstall manually (after extraction) Alien::wxWidgets --wxWidgets-version=2.9.4 (v 0.64) on top of the existing installation, without doing the uninstalls first?