Hello Michael,
did you get chance to see the patches?
Yesterday I realized that something happened with github, and the only
repository (so patches) there is an old one.
If you did'nt get the patches, tell me and I will recreate the github again.
Javier palacios