Hier auf der Seite läuft noch eine ziemlich alte Version des Push++
Auch deine WSC-Version ist mit 3.1.17 nicht mehr aktuell. Merke beim Schreiben nämlich immer wieder einen Fehler, der schon ewig gefixt ist. 
Vielleicht wenigstens auf 3.1.24 aktualisieren? 