Update message_queue.h