fixing 32bit vs 64bit issue