fix for building on Raspberry Pi