another attempt at setting up for Coverity Scan