[crux-commits] ports/core (2.4): file: changed to a more useful URL header