build_bochs: fix for Ubuntu