Workaround broken stlport

See https://code.google.com/p/android/issues/detail?id=34793