Add ENABLE_TOOLS option