Issue on linux - UINT64MAX not defined - fixed