Done, I uploaded the patch to Mantis.