master
demo: fix fips-version Makefile so it loads the FIPS provider correctly
demo: add program that shows how to query the FIPS provider version