Avoid unused type warning with gcc-4.8