Fix build issue when DEBUG==0