* mini/datalog_minic.ml: misc
* commons/file_type.ml: