Final fixes for 0.23.5

Cryogenic->Default

Also fixes a problem with the Jumbo-64. Oops.