Factor out files_properties.h