> Use a more recent gcc version? This issue was already fixed in 4.8.5. Upgrading GCC is somewhat heavy in our environment but such minor update could be doable. Could you link a bug tracker page if you know one? At least it is good if it is a bug and not a feature.. -Lassi