boxes.rb: debian80 added