Merge change I8dd26ee4 into eclair-mr2

* changes:
  remove reference to SK_RELEASE, since that is automatically set based on NDEBUG (or its absence)