adapt to renamed github profile.