Platform differences file: platform.h to avoid #ifdef clutter (preliminary)