Add missing progs for travis