Fix for linux (that might break windows again)