Debian/Ubuntu Bochs build scripts with patches for IDA