change the name to alt-gtags