This is no longer an issue, the problem was solved (see above). Please close this ten-year-old bug report, thank you.
This is no longer an issue, the problem was solved (see above). Please close this ten-year-old bug report, thank you.