* Fix issue with debian installer