deb7: quick updates to setup.