patch to allow wsmake to build with gcc 4.3