Work around broken ubuntu 12.04 lib32stdc++ package.