Hack for nixos install (for the moment)