Port rkt files to scm