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