Yeah, I haven't gotten those two archives to work since the whole repository blowup a few weeks back. It's weird, but there doesn't seem to be anything that will fix it. I can download them via a web browser, but not the nokia. So I've been considering just downloading them by hand and finding a way to update manually from the command line or something. Not sure how to do that, but if someone knows, it'd be appreciated.