fixed issues with /dev/urandom on config; fixed issue with STDC_HEADERS in cmake configure output not being set to 1