This should remain `curl`, which has a specific meaning (http interface), while `bash` is more general.