avoid-timestamped-gzip.patch
