Android doesn't seem to be able to use std::to_string