Remove dependency on 'head' in ggtags-make-project