change github path to make curl happy