fix a GCC 4.8 "defined but unused" warning