fix rdrand def