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