also. i cant seem to even install it. the widgets wont work (WARNING: could not open library '/usr/local/lib/csound/plugins/libwidgets.so' (/usr/local/lib/csound/plugins/libwidgets.so: undefined symbol: _ZN2Fl4lockEv). that is after i used the
install.py script. is the new version even usable?
Every other scons using software has an uninstall target but how do i do it when it comes to csound?