add cast to XtCalloc() call