php: lib32disabled=yes.