fix #1083: agavi.bat-dist lacks double quotes for PHP and Agavi path assignments