Debian

debian packaging updated with correct symbols for the latest version.