Bump nixpkgs and defnix. Fix functionalities definition.