Don't override $PLATFORM and $MARCH with default values in ./do if they're already set
[Ubuntu packaging] Pass correct platform and architecture for the build from debian/rules to ./do