--- a/src/Util.h
+++ b/src/Util.h
@@ -16,7 +16,7 @@
 
 // Convert int to string
 inline std::string as_string(int i) {
-  return dynamic_cast<std::ostringstream &>((std::ostringstream() << i )).str();
+  return std::to_string(i);
 }
 
 inline std::string as_string(const std::string &s) {
