Workaround for the fact that github is a mirror