debian build fixed for new name mardrone
[mardrone] / mardrone / configure-stamp