HEADS UP: giflib-5.1.4 update