Adding missing include files to make Linux Happy