Installing HDK for Vivado v2018.3_AR73068_op (FPGA Dev AMI 1.6.1)

Hello,
I have launched a f1 x2large FPGA Developer AMI - 1.6.1-40257ab5-6688-4c95-97d1-e251a40fd1fc-ami-01d5f32a3d517960b.4 instance (in Community AMIs) and, based on https://github.com/aws/aws-fpga , the Developer Kit Version 1.4.8 - 1.4.15a should be compatible with FPGA Developer AMI Version v1.6.0-v1.6.X (Xilinx Vivado/SDx 2018.3).

By following the "Install the HDK and setup environment" section on https://github.com/aws/aws-fpga/tree/master/hdk , after cloning to the instance and executing source hdk_setup.sh, I got the following errors:
ERROR: Vivado v2018.3_AR73068_op (64-bit) is not supported by this HDK release.
ERROR: Supported versions are:
Vivado v2017.4 (64-bit)
.
. (the complete log is given at the end)
.
Vivado v2019.2_AR73068 (64-bit)

The first time, I updated the instance's kernel and then tried to install the HDK. I got a similar error (supported versions were longer).
The next time, I didn't update the kernel but, I got the same error. Also, I tried other releases (1.4.8 and 1.4.15) but again, I received the same error.

Are the above steps correct or am I missing something?

Thanks,
ajohnny

Here is the complete log after executing "source hdk_setup.sh" in the aws-fpga directory:

INFO: Setting up environment variables  
INFO: Base vivado version is Vivado v2018.3.op (64-bit). Checking if patch AR71715 needs to be installed  
INFO: Patching Vivado 2018.3 with Xilinx Patch AR73068  
INFO: Applying AR73068  
INFO: in bucket https://aws-fpga-developer-ami.s3.amazonaws.com/1.6.0/Patches/AR73068  
INFO: object AR73068_Vivado_2018_3_preliminary_rev1.zip  
INFO: Downloading the AR73068 from https://aws-fpga-developer-ami.s3.amazonaws.com/1.6.0/Patches/AR73068/AR73068_Vivado_2018_3_preliminary_rev1.zip.  
INFO: Extracting the AR73068 to /home/centos/src/project_data/aws-fpga/patches/AR73068_Vivado_2018_3_preliminary_rev1.  
INFO: Appending XILINX_PATH with /home/centos/src/project_data/aws-fpga/patches/AR73068_Vivado_2018_3_preliminary_rev1/vivado  
INFO: Using Vivado v2018.3_AR73068_op (64-bit)  
ERROR: Vivado v2018.3_AR73068_op (64-bit) is not supported by this HDK release.  
ERROR: Supported versions are:  
Vivado v2017.4 (64-bit)  
Vivado v2017.4.op (64-bit)  
Vivado v2018.2_AR71275_op (64-bit)  
Vivado v2018.2_AR71715 (64-bit)  
Vivado v2018.2.op (64-bit)  
Vivado v2018.2 (64-bit)  
Vivado v2018.3.op (64-bit)  
Vivado v2018.3 (64-bit)  
Vivado v2018.3_AR72667 (64-bit)  
Vivado v2019.1.op (64-bit)  
Vivado v2019.1 (64-bit)  
Vivado v2019.1_AR73068 (64-bit)  
Vivado v2019.1_AR73068_op (64-bit)  
Vivado v2019.1_AR72668 (64-bit)  
Vivado v2019.2 (64-bit)  
Vivado v2019.2_AR73068_op (64-bit)  
Vivado v2019.2_AR73068 (64-bit)  

Edited by: Ajhonny on May 23, 2021 5:51 PM