small fixes to apt-get install