Minor changes in the file system interface

-> Make the interface suitable for Daidalos.SolutionCreator