Use libc++ instead of GNU stdc++.