Fix for Travis/Coverity scan now that we use ./configure