@xiangli-cmu You can remove this. We shouldn't need this during recovery.