fix compilation on i386