.TOOLS file extension