[#12024] Update chosen library, and remove git makefile dependency