Update platform file - no review required

Revert r29413 - this turned out not to work in the 1.7.3 branch, and fixing it pulls way too broad a change into it. So delay this change until 1.7.4, adding all of r29405 to #3766