#822: Move include line to the random_key function