allow the editor to be built with NDEBUG