Added pinning as in apt_preferences