now starting the ia32-libs dance