Sorry about that tkbd.
Unfortunately it works in the development environment and for some reason it doesn't with the installed one. That's true for Windows too - I just checked.
That workaround was intended to give me more information about the root of the problem since it's eventual and cannot be easily repeated (reported here). But, to avoid any other inconvenient, I removed the patch from the repository.
These patches/workaround aren't really an official path (dgud, may not accept them). They are my effort to try to keep the community working with the latest version and provide us more bugs report.
Unfortunately it works in the development environment and for some reason it doesn't with the installed one. That's true for Windows too - I just checked.
That workaround was intended to give me more information about the root of the problem since it's eventual and cannot be easily repeated (reported here). But, to avoid any other inconvenient, I removed the patch from the repository.
These patches/workaround aren't really an official path (dgud, may not accept them). They are my effort to try to keep the community working with the latest version and provide us more bugs report.