[Reduce] Fix make-symbols-private test on macOS

Author: fabianschuiki

test/circt-reduce/make-symbols-private.mlir

@@ -1,6 +1,6 @@
 // UNSUPPORTED: system-windows
 //   See https://github.com/llvm/circt/issues/4129
-// RUN: circt-reduce %s --test /bin/true --include make-symbols-private | FileCheck %s
+// RUN: circt-reduce %s --test /usr/bin/env --test-arg true --include make-symbols-private | FileCheck %s
 
 // This test verifies that the symbol visibility reducer changes public symbols to private