Upgraded to latest steal-tools