Hi there! Since libgdx has moved to Github, the scripts that try to retrieve the library doesn't work any more. Link in description is obsolete too. Have a nice day!