If it doesn't work (doesn't solve erratic freezes) we'll have to resort
to tougher (Windows-only) measures.