added vtimer_msg_receive_timeout