Updated Reading_HoTT_in_Coq for Coq 8.4pl3