Gotcha. I was trying the wrong version (0.7.2 versus 0.7.2-git). Nice work!