First build files for the Raspberry Pi, likely broken