The nodebug attribute has a C++11-style spelling supported by GCC as well. This modifies it so we support that spelling as well.