[BUG?] Wrong RC reported during 'make install'

[Oleksii Kurochko <oleksii.kurochko@xxxxxxxxx>]

Hello everyone,

During the installation of Xen on an ARM server machine from the source code,
I found that the wrong release candidate (rc) is being used:
  $ make install  
    install -m0644 -p xen //boot/xen-4.20-rc  
    install: cannot remove ‘//boot/xen-4.20-rc’: Permission denied  
    make[1]: *** [Makefile:507: _install] Error 1
My expectation is that it should be xen-4.20-rc4.

I'm not sure if this behavior is intentional or if users are expected to set
the XEN_VENDORVERSION variable manually to ensure the correct release
candidate number.
In my opinion, we should set the proper release candidate number after
"xen-4.20-rc" automatically.
Does anyone have any thoughts or suggestions on how to resolve this issue?
Thanks in advance.
Best regards,
 Oleksii