It looks like the Coverity scanner hasn't run since Oct. 14 - how do we go about getting it unstuck? -D