#!/bin/bash -e
# `make .../reinstall` runtime: 25 min ("25m30.587s") @starscream
# 45 min ("43m40.625s") @vegbiendev
