GRIM/Smuch: Fix free/delete/delete[] mismatch.