Added section for building libbadger