Rework previous: not a gcc bug after all