`devboot' is gone again. tré is still to fragile to do optimizations.