Tweak for GitHub distribution of 0.2.0