make it work with 32bit