Remove sanity.hpp.