--- /sys/src/9k/k10/mkfile
+++ /sys/src/9k/k10/mkfile
@@ -19,16 +19,16 @@ OBJ=$MACH $CONF.root.$O $DEVS $PORT
 $p$CONF:	$CONF.c $OBJ $LIB
 	$CC $CFLAGS '-DKERNDATE='`{date -n} $CONF.c
 	$LD -o $target -T0xfffffffff0110000 -R4096 -l $OBJ $CONF.$O $LIB $LIB
-#	$LD -o $target.elf -H5 -E0x00110000 -P0x00110000 -8 -T0xfffffffff0110000 -l $OBJ $CONF.$O $LIB $LIB
+	$LD -o $target.elf -H5 -E0x00110000 -P0x00110000 -8 -T0xfffffffff0110000 -l $OBJ $CONF.$O $LIB $LIB
 	size $target
 
 install:QV:	$p$CONF
-	cp $p$CONF /$objtype/ &
+	cp $p$CONF $p$CONF.elf /$objtype/ &
 	for(i in $EXTRACOPIES)
 		{ 9fs $i && cp $p$CONF /n/$i/$objtype && echo -n $i... & }
 	wait
 	echo
-	ls -l /$objtype/$p$CONF
+	ls -l /$objtype/$p$CONF /$objtype/$p$CONF.elf
 
 l32p.$O:	${objtype}l.h
 l64idt.$O:	${objtype}l.h