Minor Linux fixes