So apprently fno-aliasing is needed here....