Fix build with gcc4