#17 general debian package corrections