trashed tools/, not needed