Give an error if pgi was installed through pip. we need a trunk version for now