Work around an i386 issue