version bump due to FormalGrammars update