fix use64bit int determination