Fix mixintprog