Fix for 32bit Debian