small fixes in debian scrips