support Raspberry Pi binaries