Regenerate libraries.txt