Artifacts of openfpga-linux-x86_64 #747