allow tag like patch1 or pre2 in prog_name printed by crab. fix for #1037