corrected missing DEVNULL in gif_writers