Make customizing the REPL easier