fixed for x86 on ubuntu 64