platform/shared/common/RhoStd.h: compilation fix (Android)