A module for managing interaction with the file system in XTENS