Fix problem on Android with to_string