make tools/times-tags.sh and tools/times.sh executable (mode 755).
times(-tags).sh: instead of using -j4 get the actual number of cpu cores via "getconf _NPROCESSORS_ONLN"