modules.txt: need to rethink module names...