new Raspberry Pi binaries, closes #1893