implementing to_string for android. ndk doesnt have it yet.