(setq linux-p t)