Fix #167: replace repl with interactive python interpreter