remove obsolete DUMMY constant

as discussed on IRC this day