configdata.pm.in, util/dofile.pl: load 'platform' unconditionally