avoid mess on 32bit