These are example bootable programs.  They need to be linked
with libtboot.a.
