compile fix for GCC 4.8.2