use lib32stdc++6 on amd64