fixing bootstrap to use curl instead of wget