Modified to use libstdc++ on mavericks.