Fix ggtags-global-exit-message-function