fix installdeb