make tools/times-tags.sh and tools/times.sh executable (mode 755).