rpi-fan-controller Fan controller for raspberry pi 5 Build for android: make android Build for linux: make linux Installing make install