Make the release build work again, with NDEBUG