I can confirm both the problem and the workaround (--extra-cflags=-fno-aggressive-loop-optimizations) as well, after testing on 13.10 (64-bit)
I can confirm both the problem and the workaround (--extra- cflags= -fno-aggressive -loop-optimizat ions) as well, after testing on 13.10 (64-bit)