move bootstrap code to bootstrap.el