Update gif_lib.h