Remove auxiliary data file
Remove REPL