Restrict no-crypto to 4.01