Use *https* for sourceforge download links