gui.color: deal with terminals without "default" color