use -stdlib=libc++ on travis,