use ctags (compiled from prog) for linux

- ctags is the default program name for ctags compiled from scratch