-PROGRAMS = matita matitac matitatop cicbrowser matitadep matitaclean matitamake
-PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS))
+PROGRAMS_BYTE = matita matitac cicbrowser matitadep matitaclean matitamake
+PROGRAMS = $(PROGRAMS_BYTE) matitatop dump_moo
+PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE))