Update archive.sh

We are mistakenly using "php" for this instead of the $PHP_BIN.