updated repo URL (moved to github)