Make it work with __i386__