Re: add eris-1.3.13 to the build root