Fix C extension for Raspberry Pi.