Defunctionized 'removeNonAscii()' in show_console()