Bumping to php.tools 1.0.4