[crux-commits] ports/core (2.3): gcc: updated to 4.1.2