Regenerate libraries.json with latest script.