add an explicit cast to non-const char*