Fix a build issue on 32 bit Kubuntu 13.10 (and probably others)