As one can see when comparing the 64bit linux with the (32bit) Windows versions. Hm... this is a bigger task to fix...