[crux-commits] ports/core (3.5): rc: increase release number, update signature