MINC-11 boot problems