Fixed #5195: compiled ok on android