For the benefit of others, I also had to copy the record for the dev package from "/var/lib/dpkg/status" on my device into the one in the MADDE environment in order for "dpkg-checkbuilddeps" to succeed.