[crux-commits] ports/core (2.4): file: updated to 4.23.