Fix building btor2tools

Author: mmicko

default/scripts/btor2tools.sh

@@ -11,6 +11,6 @@ cmake .. \
   -DBUILD_SHARED_LIBS=OFF \
   -DCMAKE_INSTALL_PREFIX=${INSTALL_PREFIX} \
   -DCMAKE_TOOLCHAIN_FILE=${CMAKE_TOOLCHAIN_FILE} \
-  -DCMAKE_POSITION_INDEPENDENT_CODE=ON
+  -DCMAKE_POSITION_INDEPENDENT_CODE=ON -DBUILD_TOOLS=ON
 
 make DESTDIR=${OUTPUT_DIR} -j${NPROC} install