change the file name of store interp.rkt