recover RandomLib