fixing Linux build errors
debian packaging updates