Re-define default.nix using myEnvFun