use rand64s instead of rand53 as default