- small fix (info files are not gzipped)