Personal Nix setup

Update pepper/linux


Author Phil Pluckthun Date Commit Parent 437396c1