fix for Raspberry Pi