I'm sorry, there were a couple of minor compilation bugs. Here's a correct patch.
I've received confirmation that it fixes the problem, but haven't yet tested myself.
I'm sorry, there were a couple of minor compilation bugs. Here's a correct patch.
I've received confirmation that it fixes the problem, but haven't yet tested myself.