Add stuff for revdep_check