update symbols for libokteta1gui1