fix boot program detection, which in turn makes `make-stack' actually work