Commit 7caddb51b1e69a2803f86756e2ce2acff685c7d0

Ebrahim Byagowi 2018-02-13T15:12:43

Specify the project name for coverity, trying to fix #785