Raspberry Pi Tools 12.0.0.0 removed GPIO support