Fix 64bit integer size warnings