Switch rand() to mt_rand()

Minor improvement, but helps keeping FileDownloader gc to a lower probability