Changed distribution bootstrap filename.