HoTT: add dgps support