Aha, Linux heeft geen gzdecode ...