1 files changed, 3 insertions, 1 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 1dfaba47cd1f..ae9610be205c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -32,4 +32,6 @@ package() {
        MERCURY_COMPILER="$pkgdir"/usr/bin/mercury_compile \
        MERCURY_CONFIG_DIR="$pkgdir"/usr/lib/mercury \
        PARALLEL="$MAKEFLAGS" install
-}
+
+  rm "${pkgdir}"/usr/bin/{mdb,mercury,mprof}.bat
+}
\ No newline at end of file