Fixed bug #1797479: New version check results in confusing messages on stderr when pip is not installed.
Mark Debian packages as manually installed if need be in install.py.