Fix weak random seed