Thanks for the bug report. I installed the attached patches; please give 
them a try, as I don't have easy access to that platform.