Tweak math/coq version 8.4.2,1