Fix banner generation for download builder.