make C source code more portable (compiles on Debian GNU/Linux x86_64)