determine availability of <random> header in configure