Re-ran tools/update.sh