lock php-cli-tools version to 0.9.3

fixes #560; see #561