Jenkins picked up missing #include <stdio.h>