Update setup_libs.txt