Fix linux bootstrap.