switch from SourceForge to GitHub for file releases