Not needed anymore. We can use the generic i386 version.