Raspberry Pi GPIO control library in C