The link to download the runtime libraries for Linux open a page of garbage text. Same for the linux development library. Other links seem to work okay. Any ideas from someone who has downloaded recently?