Adds cryo, reverts Bygex due to lack of .so