Raspberry Pi pre-built binaries to share with people so they don't have to build themselves