Compile the simplest gtags