#!/bin/bash -e

# `make .../reinstall` runtime: 25 min ("25m30.587s") @starscream

#                               45 min ("43m40.625s") @vegbiendev