Add a binary executable file for RaspberryPi