linux related fixes