required when setting PLDISTRO=coblitz