fix compilation with DEBUG defined