rm VBOX_VERSION variable from postinstall; update debian box to 7.1