Use tf-random on slightly older GHCs too.