eigen3 source: source-contains-hg-tags-file .hgtags
