use filetype in TripleFileWriter