Use stlport rather than stdc++ on Android #154

Merged
merged 1 commit into from Apr 21, 2015