tools/build_bochs: tiny fix