Remove dead code: jl_putc() and jl_pututf8()