fixed issue 1725:No debugging under WingIDE, thanks Joe