Enable -DDEBUG as standard for now