made compile with latest UniMath