Fix compilation with newer versions of DUMB