I had the problem that WOK from OpenCASCADE6.3.0 did not work for me. Luckily someone else fixed it for the Debian packages. I just don't know if it has been reported upstream as there was no mention in the forum.
P.S. Special thanks to Denis Barbier for fixing
This step did put garbage into generated file, because a pointer was used
after it has been freed.