Where is the sysupgrade.bin output filename defined?

See also: Documentation regarding changing the version identifier - #2 by vgaetera