I run the SDK just fine on my 64bit Debian install. Maybe you have to install some 32bit libs on your 64bit system to get it working (32bit libs are in the Debian repos). As for the question in the OP, just use the SDK instead. MADDE
As for the question in the OP, just use the SDK instead. MADDE doesn't seem to be very suitable for anything but simple prjects without external dependencies as far as I can tell. At least for now.