fix for gcc-4.8.2