diff --git a/ml/diff.exe b/ml/diff.exe
deleted file mode 100644
index 2797ffd05..000000000
Binary files a/ml/diff.exe and /dev/null differ
diff --git a/ml/sed.exe b/ml/sed.exe
deleted file mode 100644
index 75ffba78a..000000000
Binary files a/ml/sed.exe and /dev/null differ