Various updates (linux fixes)