Update linux.txt