enable building on the Raspberry Pi