Fix to allow build on ARM-based Raspberry Pi.