point to all the modules Theseus uses