fix compatibility with i386