[crux-commits] ports/core (3.7): gzip: update to 1.13