fix for GCC4.8