compatibility with Ubuntu 64bit:   src/util.c