Raspberry Pi port, piCore-15.0 is available!
python: symbol lookup error: /usr/local/lib/libgtk-3.so.0: undefined symbol: g_log_structured