Attempt to solve 32 bit compilation issue reported by Ben Katz.