Correct default value for the setting "php_binary".