Correcting errors in readme-linux.html