diff --git a/VERSION b/VERSION
index df3de91..8eb34f2 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.2408.32202
+0.2408.32209
diff --git a/tools/precommit.bat b/tools/precommit.bat
deleted file mode 100644
index f1c0693..0000000
--- a/tools/precommit.bat
+++ /dev/null
@@ -1,9 +0,0 @@
-@echo off
-
-pushd .
-cd %~dp0
-
-php update-headers.php
-php update-version.php
-
-popd
diff --git a/tools/precommit.sh b/tools/precommit.sh
index 7ddce17..13827aa 100755
--- a/tools/precommit.sh
+++ b/tools/precommit.sh
@@ -3,7 +3,7 @@
 pushd .
 cd $(dirname "$0")
 
-php update-headers.php
-php update-version.php
+./update-headers
+./update-version
 
 popd
diff --git a/tools/update-headers.php b/tools/update-headers
old mode 100644
new mode 100755
similarity index 99%
rename from tools/update-headers.php
rename to tools/update-headers
index cfceded..a62903f
--- a/tools/update-headers.php
+++ b/tools/update-headers
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 // this file sucks, screws up the header if incomplete
 // successfully corrects filenames though
diff --git a/tools/update-version.php b/tools/update-version
old mode 100644
new mode 100755
similarity index 93%
rename from tools/update-version.php
rename to tools/update-version
index ec5a913..b4bc2eb
--- a/tools/update-version.php
+++ b/tools/update-version
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 // Updates the VERSION file (prerelease stage only, remove this when 1.0.0)