synced with php.ini-development of PHP 5.4.11
dropped batch2exe crap
fixed argument handling of batch files
replaced executables by batch files