pulseaudio: the /usr/lib32 changes are now unnecessary.