* fix extract_tools.sh for fresh clone * two spaces Co-authored-by: Adeeb Shihadeh <adeebshihadeh@gmail.com>