Revert "bootstrapping3"

This reverts commit 31320ca3cde42db9658368e65cf1ca3ff8530d9c.