Avoid a compilation error with gcc 4.7 #82