OFZIP: Small change to make GCC happy