libs::
	mkdir -p $(DIST)/bin/distribution
	cp -af $(topsrcdir)/extensions/gnu/ $(DIST)/bin/distribution/extensions/