Includes .rkt files as well as .txt