libminigui based on gpl-3.0.12