Try to fix an OS specific issue