Per issue #8. No need to run the tests for coverity.