include _intf.ml files in other file list