catch2.hpp is taken from the Arch repository (installed via pacman).
