record file dependencies in extra cache file (for #396)
style fix