change image name from a.img to boot.img in bochsrc