Add a hack to use libcxx on Ubuntu 10.