Use bash instead of sh in script/bootstrap.