changed file names, added a readable rkt file