fixes a problem caused by gcc 4.6 optimization (by Paul Pluzhnikov)
2 files changed