--no-sanity -> --with-sanity