Fix settings install script to handle a non-default DESTDIR
[ui] fix a bug in the config_table ui library.