more bootstrap instructions