RhoSim: remove crypt spec