diff --git a/configure.php b/configure.php
index c18775d54e..ebf4a4278d 100755
--- a/configure.php
+++ b/configure.php
@@ -265,7 +265,7 @@ function find_xml_files($path) // {{{
 
 // Settings {{{
 $cygwin_php_bat = "{$srcdir}/../phpdoc-tools/php.bat";
-$php_bin_names = array('php', 'php5', 'cli/php', 'php.exe', 'php5.exe', 'php-cli.exe', 'php-cgi.exe');
+$php_bin_names = array('php', 'cli/php', 'php.exe', 'php-cli.exe', 'php-cgi.exe');
 // }}}
 
 $acd = array( // {{{