Also remove Prolog files after benchmarking.