work towards making gcc 4.8 happy