Adding newest version of wockito-generator that fixes mac-specific issues
Overwriting theirs for ours