Use newly minted box hosted on Github