Hi, First of all thanks for this fantastic piece of software. I've been using DosBox for some years now, and I wanted to make some custom modifications to the code. I've used the 0.74 source tarball, which works, but it gives me an elf of almost 12MB when compiled, while the standard Debian …