better ia32 install, maybe