switch php-cli-tools to a tag