Another try to get coverity scan to work...