Github user nkalmar commented on the issue:
https://github.com/apache/zookeeper/pull/574
Found the problem, fixed it with a quick amend commit. The problem was in
.gitignore we have build/ and that matched the new directory, and I had to
explicitly add them. ---
