* Changed name of produced executable for use in Debian/RPM packages