( cd boot ; rm -rf ftape.o )
( cd boot ; ln -sf ftape.o-1.12 ftape.o )