Add missing include to Real header file