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