Same as #116. For now, we don't think we will need this, but we can resurrect later if necessary. Thanks @mjia.
Pull-Request has been closed by dcallagh
Build 24124441b135596cbf72257a15de7c4c2a533346 FAILED! Rebase or make new commits to rebuild.