Updated CRUX to 3.1