Do not download cl.hpp if it exists

This avoids wget create files `cl.hpp.1`, `cl.hpp.2`, etc. when `cl.hpp` already exists.