Reinstate tools/get_whitehall.sh