jjb: fix coverity on gcc >= 7
This page took 0.062657 seconds and 3 git commands to generate.