futzing to make linux c++11 happy