nokia-developer repos have moved to github, fix urls