Patch up bootstrap to work in Linux again.