Let's see if we can fix the NOINET if_gif(4) module build after r276215
going by example.