Tweaks to per-platform files and their IFDEFs