Coverity scans are working again