Fix FileStore flush() method.

To adapt to new FileStore structure introduced in #913.