Remove option from default.nix