Update to FileSystem.hs