Is it only me, or the linux 32bit version installer is not available ?