Add missing platform.hxx.in