linux but did he run linux