fix missing include after platform header cleanup