fixed C sources for 32bit arm on Raspberry Pi