/mnt/tmp/riscv64/tmp/sat4j.W414Cx ~/d/fedora-riscv-autobuild
~/d/fedora-riscv-autobuild