use gcc only for coverity