Fix the build on i386