fixing broken pyreadline download url