Hey Ferry, Jenkins has been failing for a while now -- you might want to poke around with it. Looks like it's a java package situation. Also, it's no longer doing the right thing with Coverity. If this is caused by gcc-7, you might need the following: CFLAGS="-include fix-gcc-7-coverity.h" Where that file is: https://א.cc/BJovC0UQ Regards, Jason