let the poor windows user read the .txt files with a double-click