sigh

thought this was ignored in our .gitignore?