#!/bin/sh wget -N https://raw.githubusercontent.com/philsquared/Catch/master/single_include/catch.hpp
