Sorry, I meant `-DDEBUG=OFF`; remove the space.