Allow for options(encoding=...) in interactive sessions