Minor update: gitignore specific files of Linux OS