[crux-commits] ports/core (3.7): gawk: use https