[#12024] Update chosen library, and remove git makefile dependency
Merge pull request #97 from previousnext/12024-remove-unneeded-patches

[#12024] Updated chosen & libraries