Fix warning (hope this doesn't break other platforms, there's a twisty

little maze of #ifs, all different).