UTF-8 issues with interactive interpreter are fixed; bug report from @tamil