added file observer to get notified when files are deleted: fixes #396