added some packages to debianBoxSetup.sh