Fix stack spec on gcc