fix incorrect print call

It was being passed a `std::string` instead of a `char*`. Also update
one of the signatures in debug_disabled.cpp to match the function in
debug_print.cpp.