added slimux for repl support