switch php-cli-tools to 0.9.4-patch46

see #947