Use disnix and dysnomia from Nixpkgs