gprinstall-no-artifacts.diff
