Problems building 'Hello World CL VHDL Example'

I wanted to build this example on my EC2 instance (which was prepared from the AWS FGA Developer AL2 ami):

• https://github.com/aws/aws-fpga/tree/master/hdk/cl/examples/cl_hello_world_vhdl

I was following steps from this page:

• https://github.com/aws/aws-fpga/blob/master/hdk/README.md#endtoend

But I bumped into issues in the build output looking like this:

ERROR: [Common 17-141] Failed to write file content of top_sp.xbdc in zip archive.
...
...
Abnormal program termination (11)
Please check '/home/ec2-user/src/project_data/aws-fpga/hdk/cl/examples/cl_hello_world_vhdl/build/scripts/hs_err_pid11287.log' for details

If I take a look at the suggested hs_err_pid11287.log file, it contains this:

Stack:
/lib64/libc.so.6(+0x33c90) [0x7ffa2444bc90]
/opt/Xilinx/Vivado/2021.1/lib/lnx64.o/libtcmalloc.so.4(tcmalloc::ThreadCache::ReleaseToCentralCache(tcmalloc::ThreadCache::FreeList*, unsigned long, int)+0xf3) [0x7ffa263a8973]

I noticed there were a few other forum threads with similar errors:

• https://forums.aws.amazon.com/thread.jspa?threadID=256609
• https://forums.aws.amazon.com/thread.jspa?threadID=261665&tstart=0

I saw a mention of trying to fiddle with the value of a resource_sharing parameter, but the thread didn't mention where to tweak such a setting. Hunting around, I thought perhaps I needed to edit the $HDK_DIR/common/shell_v04261818/build/scripts/strategy_TIMING.tcl file, then tweak a line in there to change from -resource_sharing off to -resource_sharing auto, and then try re-build with ./aws_build_dcp_from_cl.sh -strategy TIMING.

But nope, got a similar error as above, though this time, the 'Failed to write' error related to a top_sp.edf file rather than the top_sp.xbdc file mentioned earlier.

Wondering what else can I try?