* change \prog -> \progs