make sure that random is installed