Regenerate libraries.json