Heh. Well that was a small problem, there is a larger bug lurking in my difficulties. I'll update https://github.com/pantsbuild/pants/issues/4751, fork off a new issue really, later today.