7654: add MiniOpenTk