Fix #77: Robustify ggtags-update-tags-single for remote files