Add adaGcc to switch which gcc version is used