update to make g++ 4.8.2 happy