Small improvement to ggtags-browse-file-as-hypertext