Upgrading to php.tools 1.0.5