fixes in debian package