Relax gcc warning so that it will compile with DEBUG=no