fix build_bochs