Updating php.fmt with head of php.tools - preparing for separation