make gcc 4.9 happy