is this necessary ? shouldn't os="linux" be enough ?