Repl: Make sure we use the same loader everywhere