New version of bootstrap, it should be used with the newest
(not-yet-released) launcher version 1.0.3, because it no longer uses the
launcher_version file.