Updated proteus.nix