Adapt to coq/coq#8829 (Error when [foo.(bar)] is used with nonprojection [bar])

See merge request !13