Fix things for linux (hopefully not breaking windows)