fix bochsrc