Yet more Linux compatibility fixes; graceful degradation for Git shell stuff