fix 64bit build on ubuntu