If they're unable to fix this, linux is the last thing they need to cope with.

Sadly, I can't remember what to do about it, and I'm not about to stick myself with getting into your position trying to figure out how you can fix it.