Delete filetools.h