Fix bug in ggtags-browse-file-as-hypertext