[crux-commits] ports/core (3.7): file: use https, changed source to http mirror