Using "final" as a variable name is a bit confusing in C++11, so rename it.