some format modifications & bug fixed
change the env.mk to avoid i386-jos-elf
prefix