make gcc 4.8.* happy