added workaround for gcc-4.8 -O3 problem