Fixes #7741: Include smart proxy if Pulp is installed.