#!/bin/bash export QRHL_FORCE_BUILD=1 time bin/qrhl --build