include fix after platform header cleanup