fix bug with winnow in GCC