* options.h (DBG_CIPHER): Reintroduced it.