fix mirror url for sourceforge