workaround stupid stdc++ implementation in android.