platform, and there are at least some people it's not broken for.  So undo
change until we can discuss a more portable solution.