enable 32bit again