A temporary workaround for Bug#1171485 (GCC with -O3 is broken)