Overwrite apt-preferences to keep pinning