fix size of msgrcv's mtype parameter during recording