Fix building with RTEMS_DEBUG.