Delete many_matches.hpp