Fix debug_msg() in release builds.