vty 5.1.0 is now in nixpkgs