php 5.3.24
php.sh: update download script to make sure output filename