Update bootstrap instructions, ref #1515.