don't install devtools as root; fixes #3: Split bootstrap into bootstrap_r and bootstrap_devtools