deform2demo.nix