remove ancient, wrong hgtags file