Update unixREPL.c