Minor changes for mergesort translation test