Update msort.h