Workaround cmake bug where some platforms don't set NDEBUG for RelWithDebInfo