Save the debugger input with UTF-8 encoding to match the encoding used by the debugger glue (fixes #10)