Fix 64bit targets