I just noticed the original report concerned a different issue than the build problem that was fixed, so my closing this was premature.