Delete refined_aggregation.hpp~