fix hothasktags watchfile