coxmatch => fixed bug => in method get_u64mask() changed constant to 0xffffffffffffffffULL for 32bit systems