Linux bugfixes