fixing up nixpkgs stuff