/root/worker/containers/00002a8pnoc/tmp/build/80754af9/cryptominisat-split_1548446626468/_h_env_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold binary bin/cryptominisat5
