bumping to phptools 1.0.2