It makes sense that the execution does not work when no AWSXCLBIN nor XCLBIN is found, but, in my case, this situation causes a segfault on the call to cl::Program, which is difficult to diagnose.
Maybe find_binary_file in xcl2.cpp should at least specify whether we found an .awsxclbin, an .xclbin, or neither and at least warn that finding neither may cause errors?